|
In mathematics, Hölder's theorem states that the gamma function does not satisfy any algebraic differential equation whose coefficients are rational functions. The result was first proved by Otto Hölder in 1887; several alternative proofs have subsequently been found.〔Bank, Steven B. & Kaufman, Robert "(A Note on Hölder's Theorem Concerning the Gamma Function )". ''Mathematische Annalen'', vol 232, 1978.〕 The theorem also generalizes to the q-gamma function. ==Statement of the Theorem== There is no non-constant polynomial such that : where are functions of ''x'', Γ(''x'') is the gamma function, and ''P'' is a polynomial in with coefficients drawn from the ring of polynomials in ''x''. That is, : where indexes all possible terms of the polynomial and are polynomials in ''x'' acting as coefficients of the polynomial ''P''. The may be constants or zero. For example, if then , and where ν is a constant. All the other coefficients in the summation are zero. Then : is an ''algebraic differential equation'' which, in this example, has solutions and , the Bessel functions of either the first or second kind. So : and therefore both and are ''differentially algebraic'' (also ''algebraically transcendental''). Most of the familiar special functions of mathematical physics are differentially algebraic. All algebraic combinations of differentially algebraic functions are also differentially algebraic. Also, all compositions of differentially algebraic functions are differentially algebraic. Hölder's Theorem simply states that the gamma function, Γ(''x'') is not differentially algebraic and is, therefore, ''transcendentally transcendental.''〔 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Hölder's theorem」の詳細全文を読む スポンサード リンク
|